SBI_ARCH				?= riscv
SBI_PLAT				?= generic
SBI_CONFIG				?= defconfig
SBI_TARGETS				?= all

OPENSBI_DEPS			+= $(KL_IMAGE)
SBI_CFG_OPTS			+= PLATFORM_RISCV_XLEN=32 \
							FW_PAYLOAD_PATH=$(KL_IMAGE)

QEMU_DEPS-kernel		+= $(SBI_IMAGE)
